System programming

Results: 6665



#Item
621Program analysis / Type system / Call graph / Static program analysis / Java / Software visualization / C dynamic memory allocation / Object-oriented programming / Analysis / Computing / Software engineering / Computer programming

Understanding a System’s Architecture Dirk Heuzeroth Universit¨at Karlsruhe IPD, Program Structures Group Postfach 6980, 76128 Karlsruhe, Germany

Add to Reading List

Source URL: arisa.se

Language: English - Date: 2013-01-05 08:50:50
622Computer programming / Source code / Function / Graph of a function / Parameter / Inverse function / Subroutine / Cartesian coordinate system / Anonymous function / Mathematics / Functions and mappings / Elementary mathematics

The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b

Add to Reading List

Source URL: ctan.mines-albi.fr

Language: English - Date: 2014-09-20 20:34:08
623Non-volatile memory / Programmer / Joint Test Action Group / Pinout / Electrical connector / D-subminiature / I²C / Data I/O / Small-outline integrated circuit / Computer hardware / Electronics / Electronic engineering

Application Note ELECTRONICS Application NoteIn-System Programming of I²C E²PROMS This application note describes how I²C E²PROMS may be programmed in-circuit using the

Add to Reading List

Source URL: www.mqp.com

Language: English - Date: 2015-04-22 06:03:40
624Cross-platform software / Application programming interfaces / Cloud clients / Google Chrome / Globally unique identifier / JavaScript / OTOY / X Window System / Cloud gaming / Software / Computing / Web development

Authenticated Access for OTOY AMIs For first time users, we highly recommend starting with the Octane Cloud Workstation Autodesk Edition AMI. Unlike the other, more developer focused AMIs, this AMI

Add to Reading List

Source URL: aws.otoy.com

Language: English - Date: 2013-11-14 03:36:56
625Electronic engineering / Embedded systems / IEEE standards / Joint Test Action Group / Boundary scan / In-system programming / Printed circuit board / Ball grid array / Functional testing / Electronics manufacturing / Manufacturing / Electronics

What is JTAG? and how can I make use of it? XJTAG-JTAG-DO-01

Add to Reading List

Source URL: www.xjtag.com

Language: English - Date: 2015-05-07 04:19:38
626Data types / Type theory / Cross-platform software / C++ / Object-oriented programming / Type system / JavaScript / Pointer / Prototype-based programming / Software engineering / Computing / Computer programming

Draft Typed Objects in JavaScript Nicholas D. Matsakis David Herman

Add to Reading List

Source URL: smallcultfollowing.com

Language: English - Date: 2015-05-29 14:49:35
627C++ / Type theory / Subroutines / Data types / Functional programming / Eval / C++ classes / Type system / Closure / Software engineering / Computing / Computer programming

Multi-stage Programming for Mainstream Languages Edwin Westbrook Mathias Ricken Jun Inoue

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2010-03-24 17:48:20
628System software / Desktop publishing software / Digital typography / Donald Knuth / TeX / Typesetting / Macro / Computing / Macro programming languages / Software

Bijlage X Visual Debugging in TEX 157

Add to Reading List

Source URL: www.ntg.nl

Language: English - Date: 1996-09-30 20:28:50
629Numerical linear algebra / Parallel computing / Application programming interfaces / OpenMP / Thread / Matrix multiplication / Lis / Software / Computing / Algebra

DM818 - Parallel Computing, Weekly Notes, Week 38  Chapter 1 of \Parallel Computer Architecture: A Hardware/Software Approach" by Culler et al. can be found in the Blackboard system for additional reading on \Programmin

Add to Reading List

Source URL: www.imada.sdu.dk

Language: English - Date: 2009-09-07 08:07:41
630Type theory / Data types / Computability theory / Formal methods / Models of computation / Lambda calculus / C++ classes / Type system / ALGOL 68 / Software engineering / Programming language theory / Computing

Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France,

Add to Reading List

Source URL: assert-false.net

Language: English - Date: 2012-02-29 08:17:30
UPDATE